The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Marcello M. Bonsangue Books

Results for Marcello M. Bonsangue

Showing 1 to 3 of 3 results
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures: 7866 (Lecture Notes in Computer Science) Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures: 7866 (Lecture Notes in Computer Science) by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures: 7866 (Lecture Notes in Computer Science)

by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue


ISBN 13: 9783642406140

Format: Paperback (252 pages)
Publisher: Springer
Published: 26 Aug 2013

Save for later

 
New : $49.76  
New : $49.76
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures: 3188 (Lecture Notes in Computer Science) Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures: 3188 (Lecture Notes in Computer Science) by Frank S. de Boer,Susanne Graf,Marcello M. Bonsangue,Willem-Paul de Roever

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures: 3188 (Lecture Notes in Computer Science)

by Frank S. de Boer,Susanne Graf,Marcello M. Bonsangue,Willem-Paul de Roever


ISBN 13: 9783540229421

Format: Paperback (384 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

 
New : $77.38  
New : $77.38
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science) Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science) by Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science)

by Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert


ISBN 13: 9783642358869

Format: Paperback (368 pages)
Publisher: Springer
Published: 03 Jan 2013

Save for later

 
New : $60.40  
New : $60.40